Testing M2T/T2M Transformations

Presentado en: 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). Del 29 de septiembre al 4 de octubre. Miami, EEUU.Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T2M) transformations, from being properly tested since adequate model representations are missing either for the input domain or for the output domain. The contribution of this paper to overcome this gap is extending Tracts, a M2M transformation testing approach, for M2T/T2M transformation testing. The main mechanism we employ for reusing Tracts is to represent text within a generic metamodel. By this, we transform the M2T/T2M transformation specification problems into equivalent M2M transformation specification problems. We demonstrate the applicability of the approach by two examples and present how the approach is implemented for the Eclipse Modeling Framework (EMF). Finally, we apply the approach to evaluate code generation capabilities of several existing UML tools.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyecto TIN2011-2379

Analogue neural networks on correlated random graphs

We consider a generalization of the Hopfield model, where the entries of patterns are Gaussian and diluted. We focus on the high-storage regime and we investigate analytically the topological properties of the emergent network, as well as the thermodynamic properties of the model. We find that, by properly tuning the dilution in the pattern entries, the network can recover different topological regimes characterized by peculiar scalings of the average coordination number with respect to the system size. The structure is also shown to exhibit a large degree of cliquishness, even when very sparse. Moreover, we obtain explicitly the replica symmetric free energy and the self-consistency equations for the overlaps (order parameters of the theory), which turn out to be classical weighted sums of 'sub-overlaps' defined on all possible sub-graphs. Finally, a study of criticality is performed through a small-overlap expansion of the self-consistencies and through a whole fluctuation theory developed for their rescaled correlations: Both approaches show that the net effect of dilution in pattern entries is to rescale the critical noise level at which ergodicity breaks down.Comment: 34 pages, 3 figure

Criticality in diluted ferromagnet

We perform a detailed study of the critical behavior of the mean field diluted Ising ferromagnet by analytical and numerical tools. We obtain self-averaging for the magnetization and write down an expansion for the free energy close to the critical line. The scaling of the magnetization is also rigorously obtained and compared with extensive Monte Carlo simulations. We explain the transition from an ergodic region to a non trivial phase by commutativity breaking of the infinite volume limit and a suitable vanishing field. We find full agreement among theory, simulations and previous results.Comment: 23 pages, 3 figure

Equilibrium statistical mechanics on correlated random graphs

Biological and social networks have recently attracted enormous attention between physicists. Among several, two main aspects may be stressed: A non trivial topology of the graph describing the mutual interactions between agents exists and/or, typically, such interactions are essentially (weighted) imitative. Despite such aspects are widely accepted and empirically confirmed, the schemes currently exploited in order to generate the expected topology are based on a-priori assumptions and in most cases still implement constant intensities for links. Here we propose a simple shift in the definition of patterns in an Hopfield model to convert frustration into dilution: By varying the bias of the pattern distribution, the network topology -which is generated by the reciprocal affinities among agents - crosses various well known regimes (fully connected, linearly diverging connectivity, extreme dilution scenario, no network), coupled with small world properties, which, in this context, are emergent and no longer imposed a-priori. The model is investigated at first focusing on these topological properties of the emergent network, then its thermodynamics is analytically solved (at a replica symmetric level) by extending the double stochastic stability technique, and presented together with its fluctuation theory for a picture of criticality. At least at equilibrium, dilution simply decreases the strength of the coupling felt by the spins, but leaves the paramagnetic/ferromagnetic flavors unchanged. The main difference with respect to previous investigations and a naive picture is that within our approach replicas do not appear: instead of (multi)-overlaps as order parameters, we introduce a class of magnetizations on all the possible sub-graphs belonging to the main one investigated: As a consequence, for these objects a closure for a self-consistent relation is achieved.Comment: 30 pages, 4 figure

Excavaciones en el conjunto megalítico de la Peña Oviedo (Camaleño, Cantabria)

La excavación del conjunto megalítico de la Peña Oviedo, pretende ser el inicio de un estudio más amplio que aborde de manera global el fenómeno megalítico en las cue.ncas altas de los ríos Deva y Nansa. El total desconocimiento que se tenía hasta esta década, no ya del fenómeno megalítico, sino incluso de su existencia en estos valles montañosos del Occidente de Cantabria hace necesario un estudio que ponga de manifiesto sus características y las relaciones con las áreas vecinas.The excavation of the megalithic complex of the Peña Oviedo, pretends to be the beginning of a larger study that approaches the megalithic phenomenon in the global River basins of the Deva and Nansa rivers. The total lack of knowledge of the megalithic phenomenon, but not even of its existence in these mountain valleys of western Cantabria, requires a study that reveals its characteristics and relations with neighboring areas

Immunochip analysis identifies multiple susceptibility loci for systemic sclerosis

In this study, 1,833 systemic sclerosis (SSc) cases and 3,466 controls were genotyped with the Immunochip array. Classical alleles, amino acid residues, and SNPs across the human leukocyte antigen (HLA) region were imputed and tested. These analyses resulted in a model composed of six polymorphic amino acid positions and seven SNPs that explained the observed significant associations in the region. In addition, a replication step comprising 4,017 SSc cases and 5,935 controls was carried out for several selected non-HLA variants, reaching a total of 5,850 cases and 9,401 controls of European ancestry. Following this strategy, we identified and validated three SSc risk loci, including DNASE1L3 at 3p14, the SCHIP1-IL12A locus at 3q25, and ATG5 at 6q21, as well as a suggested association of the TREH-DDX6 locus at 11q23. The associations of several previously reported SSc risk loci were validated and further refined, and the observed peak of association in PXK was related to DNASE1L3. Our study has increased the number of known genetic associations with SSc, provided further insight into the pleiotropic effects of shared autoimmune risk factors, and highlighted the power of dense mapping for detecting previously overlooked susceptibility loci

Comparison of Chemical Composition, Physicochemical Parameters, and Antioxidant and Antibacterial Activity of the Essential Oil of Cultivated and Wild Mexican Oregano Poliomintha longiflora Gray

Mexican oregano Poliomintha longiflora Gray located in the municipality of Higueras, Nuevo Leon, Mexico was collected during the autumn (September, OCO), winter (January, OCI) and summer (June, OCV) seasons, under cultivation conditions. It was also collected in wild conditions during the autumn (OSO). Essential oil (EO) was extracted from leaves and the color, refractive index and density were reported. The EO yield, antioxidant activity by ORAC assay, thymol and carvacrol concentration and antibacterial activity were statistically compared (p-value = 0.05). Among the various harvests, the highest EO yield, antioxidant activity, thymol and carvacrol content and antibacterial activity against Salmonella Typhi were observed in leaves harvested in autumn. In order to compare wild oregano with cultivated oregano, analyses were performed in the season with the highest essential oil yield and antioxidant activity, recorded in autumn. The main difference found was the ratio of thymol:carvacrol in wild oregano oil, which was 1:8.6, while in cultivated oregano, it was approximately 1:2, which was maintained in all three seasons. The EO on wild conditions showed the best antibacterial activity in Salmonella Typhi. On the other hand, wild and cultivated oregano showed similar antioxidant activity. One advantage of the use of cultivated oregano is that its supply is guaranteed, in contrast to that of wild oregano

Search for short baseline nu(e) disappearance with the T2K near detector

8 pages, 6 figures, submitted to PRD rapid communication8 pages, 6 figures, submitted to PRD rapid communicationWe thank the J-PARC staff for superb accelerator performance and the CERN NA61 collaboration for providing valuable particle production data. We acknowledge the support of MEXT, Japan; NSERC, NRC and CFI, Canada; Commissariat `a l’Energie Atomique and Centre National de la Recherche Scientifique–Institut National de Physique Nucle´aire et de Physique des Particules, France; DFG, Germany; INFN, Italy; National Science Centre (NCN), Poland; Russian Science Foundation, RFBR and Ministry of Education and Science, Russia; MINECO and European Regional Development Fund, Spain; Swiss National Science Foundation and State Secretariat for Education, Research and Innovation, Switzerland; STFC, UK; and DOE, USA. We also thank CERN for the UA1/NOMAD magnet, DESY for the HERA-B magnet mover system, NII for SINET4, the WestGrid and SciNet consortia in Compute Canada, GridPP, UK. In addition participation of individual researchers and institutions has been further supported by funds from ERC (FP7), EU; JSPS, Japan; Royal Society, UK; DOE Early Career program, USA

Measurements of neutrino oscillation in appearance and disappearance channels by the T2K experiment with 6.6 x 10(20) protons on target

111 pages, 45 figures, submitted to Physical Review D. Minor revisions to text following referee comments111 pages, 45 figures, submitted to Physical Review D. Minor revisions to text following referee comments111 pages, 45 figures, submitted to Physical Review D. Minor revisions to text following referee commentsWe thank the J-PARC staff for superb accelerator performance and the CERN NA61/SHINE Collaboration for providing valuable particle production data. We acknowledge the support of MEXT, Japan; NSERC, NRC, and CFI, Canada; CEA and CNRS/IN2P3, France; DFG, Germany; INFN, Italy; National Science Centre (NCN), Poland; RSF, RFBR and MES, Russia; MINECO and ERDF funds, Spain; SNSF and SER, Switzerland; STFC, UK; and the U. S. Deparment of Energy, USA. We also thank CERN for the UA1/NOMAD magnet, DESY for the HERA-B magnet mover system, NII for SINET4, the WestGrid and SciNet consortia in Compute Canada, GridPP, UK, and the Emerald High Performance Computing facility in the Centre for Innovation, UK. In addition, participation of individual researchers and institutions has been further supported by funds from ERC (FP7), EU; JSPS, Japan; Royal Society, UK; and DOE Early Career program, USA